Introduction to the Homotopy Theory
نویسنده
چکیده
The paper introduces some preliminary notions concerning the homotopy theory according to [15]: paths and arcwise connected to topological spaces. The basic operations on paths (addition and reversing) are defined. In the last section the predicate: P,Q are homotopic is defined. We also showed some properties of the product of two topological spaces needed to prove reflexivity and symmetry of the above predicate.
منابع مشابه
Homotopy type theory and Voevodsky's univalent foundations
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened “homotopy type theory”. In this direction, Vladimir Voevodsky observed that it is possible to model type theory using simplicial sets and that this model satisfies an additional property, cal...
متن کاملHomotopy approximation of modules
Deleanu, Frei, and Hilton have developed the notion of generalized Adams completion in a categorical context. In this paper, we have obtained the Postnikov-like approximation of a module, with the help of a suitable set of morphisms.
متن کامل9 M ay 2 00 5 T - HOMOTOPY AND REFINEMENT OF OBSERVATION ( I ) : INTRODUCTION
This paper is the extended introduction of a series of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained.
متن کاملT-homotopy and Refinement of Observation (I): Introduction
This paper is the extended introduction of a series of papers about modelling T-homotopy by refinement of observation. The notion of T-homotopy equivalence is discussed. A new one is proposed and its behaviour with respect to other construction in dihomotopy theory is explained.
متن کامل15 - 819 Homotopy Type Theory Lecture
These notes summarize the lectures on homotopy type theory (HoTT) given by Professor Robert Harper on September 9 and 11, 2013, at CMU. They start by providing a introduction to HoTT, capturing its main ideas and its connection to other related type theories. Then they present intuitionistic propositional logic (IPL), giving both an proof-theoretic formulation as well an order-theoretic formula...
متن کامل15 - 819 Homotopy Type Theory Lecture Notes
These notes summarize the lectures on homotopy type theory (HoTT) given by Professor Robert Harper on September 9 and 11, 2013, at CMU. They start by providing a introduction to HoTT, capturing its main ideas and its connection to other related type theories. Then they present intuitionistic propositional logic (IPL), giving both an proof-theoretic formulation as well an order-theoretic formula...
متن کامل